Pranav Ashar: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Technology mapping for low power in logic synthesis

Vivek Tiwari, Pranav Ashar, Sharad Malik

Journal:

Integration, the VLSI Journal

Year:

1996

Language:

english

File:

PDF, 1.63 MB

english, 1996

2

[ACM Press the 30th international - Dallas, Texas, United States (1993.06.14-1993.06.18)] Proceedings of the 30th international on Design automation conference - DAC '93 - Technology mapping for lower power

Tiwari, Vivek, Ashar, Pranav, Malik, Sharad

Year:

1993

Language:

english

File:

PDF, 750 KB

english, 1993

3

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - Using reconfigurable computing techniques to accelerate problems in the CAD domain

Zhong, Peixin, Ashar, Pranav, Malik, Sharad, Martonosi, Margaret

Year:

1998

Language:

english

File:

PDF, 189 KB

english, 1998

4

Sapitinib Reverses Anticancer Drug Resistance in Colon Cancer Cells Overexpressing the ABCB1 Transporter

Gao, Hai-Ling, Gupta, Pranav, Cui, Qingbin, Ashar, Yunali V., Wu, Zhuo-Xun, Zeng, Leli, Lei, Zi-Ning, Teng, Qiu-Xu, Ashby, Charles R., Guan, Yingjun, Chen, Zhe-Sheng

Journal:

Frontiers in Oncology

Year:

2020

File:

PDF, 2.33 MB

2020

5

[IEEE 2017 18th International Symposium on Quality Electronic Design (ISQED) - Santa Clara, CA, USA (2017.3.14-2017.3.15)] 2017 18th International Symposium on Quality Electronic Design (ISQED) - Failures and verification solutions related to untimed paths in SOCs

Ashar, Pranav, Sachdeva, Vikas, Viswanath, Vinod

Year:

2017

Language:

english

File:

PDF, 755 KB

english, 2017

6

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - A paradigm shift in verification methodology

Year:

2016

Language:

english

File:

PDF, 44 KB

english, 2016

7

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - A unified approach to the decomposition and re-decomposition of sequential machines

Ashar, Pranav, Devadas, Srinivas, Newton, A. Richard

Year:

1990

Language:

english

File:

PDF, 835 KB

english, 1990

8

[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - Dynamic detection and removal of inactive clauses in SAT with application in image computation

Gupta, Aarti, Gupta, Anubhav, Yang, Zijiang, Ashar, Pranav

Year:

2001

Language:

english

File:

PDF, 187 KB

english, 2001

9

Boolean satisfiability and equivalence checking using general Binary Decision Diagrams

Pranav Ashar, Abhijit Ghosh, Srinivas Devadas

Journal:

Integration, the VLSI Journal

Year:

1992

Language:

english

File:

PDF, 905 KB

english, 1992

10

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Implicit computation of minimum-cost feedback-vertex sets for partial scan and other applications

Ashar, Pranav, Malik, Sharad

Year:

1994

Language:

english

File:

PDF, 71 KB

english, 1994

11

[IEEE 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Anaheim, FL, USA (2010.06.10-2010.06.12)] 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Clock domain verification challenges and scalable solutions

Year:

2010

Language:

english

File:

PDF, 234 KB

english, 2010

12

[IEEE Computer Soc 18th International Conference on VLSI Design - Kolkata, India (3-7 Jan. 2005)] 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design - Lazy constraints and SAT heuristics for proof-based abstraction

Aarti Gupta,, Malay Ganai,, Pranav Ashar,

Year:

2005

Language:

english

File:

PDF, 711 KB

english, 2005

13

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - A fast, inexpensive and scalable hardware acceleration technique for functional simulation

Cadambi, Srihari, Mulpuri, Chandra S, Ashar, Pranav N

Year:

2002

Language:

english

File:

PDF, 180 KB

english, 2002

14

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Learning from BDDs in SAT-based bounded model checking

Gupta, Aarti, Ganai, Malay, Wang, Chao, Yang, Zijiang, Ashar, Pranav

Year:

2003

Language:

english

File:

PDF, 294 KB

english, 2003

15

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Simulation vector generation from HDL descriptions for observability-enhanced statement coverage

Fallah, Farzan, Ashar, Pranav, Devadas, Srinivas

Year:

1999

Language:

english

File:

PDF, 148 KB

english, 1999

16

Efficient SAT-based bounded model checking for software verification

Franjo Ivančić, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.16 MB

english, 2008

17

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Toward formalizing a validation methodology using simulation coverage

Gupta, Aarti, Malik, Sharad, Ashar, Pranav

Year:

1997

Language:

english

File:

PDF, 110 KB

english, 1997

18

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver

Ganai, Malay K., Ashar, Pranav, Gupta, Aarti, Zhang, Lintao, Malik, Sharad

Year:

2002

Language:

english

File:

PDF, 332 KB

english, 2002

19

[IEEE 2019 20th International Symposium on Quality Electronic Design (ISQED) - Santa Clara, CA, USA (2019.3.6-2019.3.7)] 20th International Symposium on Quality Electronic Design (ISQED) - Closing the Verification Gap with Static Sign-off

Ashar, Pranav, Viswanath, Vinod

Year:

2019

Language:

english

File:

PDF, 990 KB

english, 2019

20

BMS-599626, a Highly Selective Pan-HER Kinase Inhibitor, Antagonizes ABCG2-Mediated Drug Resistance

Ashar, Yunali V., Zhou, Jingchun, Gupta, Pranav, Teng, Qiu-Xu, Lei, Zi-Ning, Reznik, Sandra E., Lusvarghi, Sabrina, Wurpel, John, Ambudkar, Suresh V., Chen, Zhe-Sheng

Journal:

Year:

2020

File:

PDF, 5.61 MB

2020

21

[ACM Press the 1995 international symposium - Dana Point, California, United States (1995.04.23-1995.04.26)] Proceedings of the 1995 international symposium on Low power design - ISLPED '95 - Guarded evaluation

Tiwari, Vivek, Malik, Sharad, Ashar, Pranav

Year:

1995

Language:

english

File:

PDF, 123 KB

english, 1995

22

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Panel: Assertion-Based Verification -What's the Big Deal?

Shukla, Sandeep, Hu, Alan, Abrahams, Jacob, Ashar, Pranav, Foster, Harry, Landver, Avner, Pixley, Carl

Year:

2006

Language:

english

File:

PDF, 857 KB

english, 2006

23

Gate-delay-fault testability properties of multiplexor-based networks

Pranav Ashar, Srinivas Devadas, Kurt Keutzer

Journal:

Formal Methods in System Design

Year:

1993

Language:

english

File:

PDF, 1.10 MB

english, 1993

24

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Scheduling techniques to enable power management

Monteiro, José, Devadas, Srinivas, Ashar, Pranav, Mauskar, Ashutosh

Year:

1996

Language:

english

File:

PDF, 66 KB

english, 1996

25

[ACM Press the 1998 IEEE/ACM international conference - San Jose, California, United States (1998.11.08-1998.11.12)] Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98 - Verification of RTL generated from scheduled behavior in a high-level synthesis flow

Ashar, Pranav, Bhattacharya, Subhrajit, Raghunathan, Anand, Mukaiyama, Akira

Year:

1998

Language:

english

File:

PDF, 1002 KB

english, 1998

26

Efficient distributed SAT and SAT-based distributed Bounded Model Checking

Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 271 KB

english, 2006

27

Using complete-1-distinguishability for FSM equivalence checking

Ashar, Pranav, Gupta, Aarti, Malik, Sharad

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2001

Language:

english

File:

PDF, 279 KB

english, 2001

28

[ACM Press the 42nd annual conference - San Diego, California, USA (2005.06.13-2005.06.17)] Proceedings of the 42nd annual conference on Design automation - DAC '05 - Beyond safety

Ganai, Malay K., Gupta, Aarti, Ashar, Pranav

Year:

2005

Language:

english

File:

PDF, 261 KB

english, 2005

29

Path-delay-fault testability properties of multiplexor-based networks

Pranav Ashar, Srinivas Devadas, Kurt Keutzer

Journal:

Integration, the VLSI Journal

Year:

1993

Language:

english

File:

PDF, 1.46 MB

english, 1993

30

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Static verification based signoff - A key enabler for managing verification complexity in the modern soc

Year:

2013

Language:

english

File:

PDF, 31 KB

english, 2013

31

An Edge-endpoint-based Configurable Hardware Architecture for VLSI Layout Design Rule Checking

Luo, Zhen, Martonosi, Margaret, Ashar, Pranav

Journal:

Year:

2000

Language:

english

File:

PDF, 3.29 MB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски